Translating into an Intermediate Agent Layer: A Prototype in Maude
نویسندگان
چکیده
This paper summarises how agent programming languages are be embedded into an intermediate agent layer called Agent Infrastructure Layer (AIL) that can be seen as a unifying framework for such languages. We discuss common concepts of the agent programming languages on which the AIL’s design is based and outline a translation of AgentSpeak programs into this intermediate layer. An executable prototype of the AIL is implemented in Maude, allowing language translators to be tested at this prototype level.
منابع مشابه
An Integration of CafeOBJ into Full Maude
We present in this paper an integration of CafeOBJ into Full Maude. We have developed a grammar to parse any CafeOBJ specification, an intermediate language to store it, and a translation from this representation into Maude specifications. This integration enhances CafeOBJ functionality in many ways: our intermediate representation has been developed mirroring Maude metalevel, and hence it allo...
متن کاملModel Checking Agent Programs by Using the Program Interpreter
Model checking agent programs is a challenge and it is still a question which approaches can suitably be applied to effectively model check such programs. We present a new approach to explicit-state, onthe-fly model checking for agent programs. In this approach we use the agent program interpreter for generating the state space. A model checker is built on top of this interpreter by implementin...
متن کاملTransforming Information in RDF to Rewriting Logic
RDF looks like the first step to build the Semantic Web vision. Our long-term goal is to have a sound way to verify and validate the semantic web interactions that applications and agents may develop in a distributed environment. The first step for reaching this goal is to provide a useful semantic support to RDF itself. Based on this formal support, properties may be analyzed, as well as trans...
متن کاملA Tool for Specifying and Validating Agents' Interaction Protocols: From Agent UML to Maude
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an important characteristic of multi-agent systems (MAS). The usual approaches to model agents’ interactions consist of describing them as protocols [Hug04]. In the literature, several representation formalisms of agents’ interact...
متن کاملTranslating AUML Diagrams into Maude Specifications: A Formal Verification of Agents Interaction Protocols
Agents Interaction Protocols (AIPs) play a crucial role in multi-agents systems development. They allow specifying sequences of messages between agents. Major proposed protocols suffer from many weaknesses. We present, in this paper, a formal approach supporting the verification of agents’ interaction protocols described by using AUML formalism. The considered AUML diagrams are formally transla...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007